321. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده: J. Shinoda, T. A. Slaman, T. Tugue, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1388
322. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده: / J. Shinoda, T.A. Slaman, T. Tugue, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical - Congresses
رده :
QA3
.
L28
,
no
.
1388
323. Mathematical logic and applications. proceedings of the Logic Meeting held in Kyoto, 1987, Lecture notes in mathematics
پدیدآورنده: J. Shinoda, T.A. Slaman, T. Tugue )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical, Congresses
رده :
QA
3
.
M3
1989
324. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
325. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
326. Mathematical logic and computability
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
K27m
327. Mathematical logic and computability
پدیدآورنده: H. Jerome Keisler, Joel Robbin, Contributors : Arnold Miller...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
328. Mathematical logic and formalized theories: a survey of basic concepts and results
پدیدآورنده: / Robert Rogers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
R722
329. Mathematical logic and formalized theories: a survey of basic concepts and results
پدیدآورنده: Rogers, Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R74
330. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under
پدیدآورنده: Ed. by Yehoshua Bar-Hillel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
331. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
332. Mathematical logic and model theory a brief introduction
پدیدآورنده: Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
333. Mathematical logic and model theory: a brief introduction
پدیدآورنده: Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
334. Mathematical logic and model theory : a brief introduction
پدیدآورنده: Alexander Prestel, Charles N. Delzell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
335. Mathematical logic and model theory: a brief introduction
پدیدآورنده: Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
336. Mathematical logic and programming language
پدیدآورنده: Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
337. Mathematical logic and programming languages
پدیدآورنده: / edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
338. Mathematical logic and programming languages
پدیدآورنده: / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
339. Mathematical logic and the found ations of mathematics
پدیدآورنده: / G T kneebone
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
K673
340. Mathematical logic and the found ations of mathematics: an introducto survey
پدیدآورنده: Kneebone, G. T.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
K673
